Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
161	Scaling up Lloyd’s algorithm: stochastic and parallel block-wise optimization perspectives Claire Monteleoni Department of Computer Science George Washington University Add to Reading List Source URL: www.opt-ml.org Language: English - Date: 2014-12-10 11:28:22 Expectation–maximization algorithm Missing data Combinatory logic Theoretical computer science Coding theory Statistics Mathematics Estimation theory
162	Model Reduction for Dynamic Sensor Steering: A Bayesian Approach to Inverse Problems by Sonja Wogrin Submitted to the School of Engineering Add to Reading List Source URL: raphael.mit.edu Language: English - Date: 2008-06-02 09:53:51 Mathematical optimization Mathematics Logic Algorithm Mathematical logic Theoretical computer science
163	AIAA JOURNAL Vol. 46, No. 10, October 2008 Parametric Reduced-Order Models for Probabilistic Analysis of Unsteady Aerodynamic Applications T. Bui-Thanh∗ and K. Willcox† Add to Reading List Source URL: raphael.mit.edu Language: English - Date: 2008-10-21 10:10:11 Regression analysis Data analysis Computational fluid dynamics Navier–Stokes equations Least squares Principal component analysis Parameter space Combinatorics Combinatory logic Statistics Mathematics Mathematical optimization
164	Symbolic Dynamic Programming for First-Order MDPs Craig Boutilier Ray Reiter Bob Price Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2010-08-27 08:09:21 Predicate logic Dynamic programming Functions and mappings Equations Mathematical optimization Markov decision process Reinforcement learning Continuous function Function Mathematics Statistics Logic
165	The Cassowary Linear Arithmetic Constraint Solving Algorithm GREG J. BADROS and ALAN BORNING University of Washington Add to Reading List Source URL: constraints.cs.washington.edu Language: English - Date: 2002-01-03 19:01:27 Software engineering Computer programming Computing Constraint satisfaction Constraint logic programming Simplex algorithm Slack variable Linear programming Cassowary Constraint programming Mathematical optimization Operations research
166	technology from seed Verifying Optimizations using SMT Solvers Nuno Lopes Add to Reading List Source URL: llvm.org Language: English - Date: 2013-12-16 20:46:26 Mathematical optimization Operations research Constraint programming Logic in computer science Electronic design automation Satisfiability Modulo Theories Solver Nl AMPL Theoretical computer science Applied mathematics Mathematics
167	The Cassowary Linear Arithmetic Constraint Solving Algorithm: Interface and Implementation Greg J. Badros Alan Borning Add to Reading List Source URL: constraints.cs.washington.edu Language: English - Date: 2000-05-10 17:41:18 Mathematics Applied mathematics Simplex algorithm Linear programming Slack variable Constraint logic programming Constraint Least squares Hybrid algorithm Mathematical optimization Constraint programming Operations research
168	Engineering Faculty Seminar Dr Henry Lau Head Department of Industrial and Manufacturing Systems Engineering “Simulation Optimization of Industrial Operation with Add to Reading List Source URL: engg.hku.hk Language: English - Date: 2010-11-03 05:28:59 Artificial intelligence Artificial immune system Immunology Systems engineering Simulation Mathematical optimization Logic simulation Plant Simulation Schlumberger Information Solutions Operations research Digital electronics Electronic engineering
169	Technical Note July 18, 2010 O(1/) Lower Bounds for Convex Optimization with Stochastic Oracles Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-07-18 08:07:51 Operator theory Differential geometry Mathematics Applied mathematics Linear temporal logic Spectral theory of ordinary differential equations Mathematical optimization Operations research Oracle machine

UPDATE